Shape theory - PDFSEARCH.IO - Document Search Engine

Shape theory
Results: 281

#	Item
181	Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving ? Gidon Ernst, Gerhard Schellhorn, and Wolfgang Reif {ernst,schellhorn,reif}@informatik.uni-augsburg.de University of Augsb Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:17:33 Data management R-tree B+ tree T-tree Heap Tree Ternary tree Binary search tree Binary trees B-tree Graph theory
182	Shape, Albedo, and Illumination from a Single Image of an Unknown Object Jonathan T. Barron and Jitendra Malik UC Berkeley {barron, malik}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-28 19:03:27 Probability and statistics Statistics Computer vision Statistical theory Optics Illumination Entropy Prior probability Photometric stereo Image processing Information theory Computer graphics
183	The Third International Conference ”Inverse Problems: Modeling and Simulation” May 29-June 02, 2006 Sensitivity studies for shape reconstruction in reservoir characterization using level sets Rossmary Villegas, Manu Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:36 Operator theory Inverse problem Distribution Function Operator Calculus of variations Mathematical analysis Mathematics Functions and mappings
184	Shape reconstruction from two-phase incompressible flow data using level sets Rossmary Villegas, Oliver Dorn, Miguel Moscoso, Manuel Kindelan Grupo de Modelizaci´ on y Simulaci´ on Num´erica, Universidad Carlos III de Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:32 Operator theory Distribution Functional analysis Symbol Dirac delta function Inverse problem Function Operator Psi Mathematical analysis Mathematics Generalized functions
185	CONCURRENT OPTIMIZATION TECHNIQUE FOR A CONTROLLED STRUCTURE Brian C. Clendenin and Alexa M. ~ c ~ u l l o c h * Department of Aerospace Engineering The University of Michigan Ann Arbor, MI[removed] Add to Reading List Source URL: deepblue.lib.umich.edu Language: English - Date: 2010-06-12 04:43:41 Control theory Mathematical optimization Operations research Systems engineering Control engineering Vibration Shape optimization Bending Control system Statistics Science Systems theory
186	Meeting a Fanclub: A Lattice of Generic Shape Selectors1 Roland Backhouse Richard Bird Paul Hoogendijk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-03 12:04:24 Binary operations Functions and mappings Higher category theory Galois connection Function composition Natural transformation Morphism Presentation of a group Group Abstract algebra Mathematics Category theory
187	Shape, Albedo, and Illumination from a Single Image of an Unknown Object Jonathan T. Barron and Jitendra Malik UC Berkeley {barron, malik}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-10-02 14:09:03 Probability and statistics Statistics Computer vision Statistical theory Optics Illumination Entropy Prior probability Photometric stereo Image processing Information theory Computer graphics
188	Computational Design of Actuated Deformable Characters Add to Reading List Source URL: www.disneyresearch.com Language: English - Date: 2014-08-28 19:56:48 Computing Strength of materials Multidisciplinary design optimization Shape optimization Algorithm Topology optimization Lagrange multiplier Static single assignment form ALGOL 68 Mathematical optimization Mathematics Programming language theory
189	D:/dorjxSVN/PhD/Articles/Level Design As Model Transformations/Level Design As Model Transformation/Level Design As Model Transformation.dvi Add to Reading List Source URL: www.jorisdormans.nl Language: English - Date: 2014-06-23 19:42:32 Mathematics Software development Theoretical computer science Level design Shape grammar Model-driven architecture Rewrite Lock VIATRA Graph rewriting Unified Modeling Language Graph theory
190	New theory: CO2 makes you fat March 11, [removed]:02 Danish researchers have announced a rather wild hypothesis: Perhaps we are getting fatter and fatter because of the increasing CO2 levels in the atmosphere. By: Thomas Add to Reading List Source URL: www.au.agwscam.com Language: English - Date: 2012-11-27 19:37:32 Nutrition Body shape Bariatrics Human nutrition Epidemiology of obesity Health Obesity Medicine

UPDATE